Bernhard Haendler's Documents

Bernhard Haendler's Documents

Datenschutz kompakt und verständlich. Eine praxisorientierte Einführung

Datenschutz kompakt und verständlich. Eine praxisorientierte Einführung
Read more
Combinatorial Optimization: Theory and Algorithms

Combinatorial Optimization: Theory and Algorithms
Read more
Religion And Politics: Cultural Perspectives (International Studies in Religion and Society)

Religion And Politics: Cultural Perspectives (International Studies in Religion and Society)
Read more
Formal Verification of Object-Oriented Software

Formal Verification of Object-Oriented Software
Read more
Self's punishment

Self's punishment
Read more
Systems Biology: Properties of Reconstructed Networks

Systems Biology: Properties of Reconstructed Networks
Read more
Das Jahr des Greifen. Die Entdeckung

Das Jahr des Greifen. Die Entdeckung
Read more
Prävention: Ausgewählte Beiträge des Nationalen Präventionskongresses Dresden 1. und 2. Dezember 2005

Prävention: Ausgewählte Beiträge des Nationalen Präventionskongresses Dresden 1. und 2. Dezember 2005
Read more
Taschenbuch der Zuverlässigkeits- und Sicherheitstechnik. Quantitative Bewertungsverfahren

Taschenbuch der Zuverlässigkeits- und Sicherheitstechnik. Quantitative Bewertungsverfahren
Read more
Combinatorial Optimization. Theory and Algorithms

Combinatorial Optimization. Theory and Algorithms
Read more
Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004

Verification, Model Checking, and Abstract Interpretation, 5 conf., VMCAI 2004
Read more
Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)

Combinatorial Optimization: Theory and Algorithms (Algorithms and Combinatorics)
Read more
Ottimizzazione combinatoria. Teoria e algoritmi

Ottimizzazione combinatoria. Teoria e algoritmi
Read more
Visualization in Medicine: Theory, Algorithms, and Applications

Visualization in Medicine: Theory, Algorithms, and Applications
Read more
Systems Biology: Simulation of Dynamic Network States

Systems Biology: Simulation of Dynamic Network States
Read more
Self's deception

Self's deception
Read more
Self's deception

Self's deception
Read more
Elfenlicht

Elfenlicht
Read more
Le Fort beschießt Waren

Le Fort beschießt Waren
Read more
Self's punishment

Self's punishment
Read more
Le Fort beschießt Waren

Le Fort beschießt Waren
Read more
Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization

Advanced Symbolic Analysis for Compilers: New Techniques and Algorithms for Symbolic Program Analysis and Optimization
Read more
Land Der Stürme

Land Der Stürme
Read more
BGB Allgemeiner Teil (Springer-Lehrbuch) (German Edition)

BGB Allgemeiner Teil (Springer-Lehrbuch) (German Edition)
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I
Read more
Statistical Inference, Econometric Analysis and Matrix Algebra

Statistical Inference, Econometric Analysis and Matrix Algebra
Read more
Combinatorial Optimization: Theory and Algorithms, Fifth Edition

Combinatorial Optimization: Theory and Algorithms, Fifth Edition
Read more
Safety Culture in Nuclear Power Operations

Safety Culture in Nuclear Power Operations
Read more
Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings

Requirements Targeting Software and Systems Engineering: International Workshop Rtse '97, Bernried, Germany, October 12-14, 1997 : Proceedings
Read more
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, ... Computer Science and General Issues)
Read more